Proving A Compound Proposition Is A Tautology Part 1 Of 2